Cost functions with several order of magnitudes and the use of Relative Internal Set Theory
نویسنده
چکیده
Cost monadic logic extends monadic second-order logic with the ability to measure the cardinal of sets. In particular, it allows to decide problems related to boundedness questions. In this paper, we provide new decidability results allowing the systematic investigation of questions involving “relative boundedness”. The first contribution in this work is to introduce a suitable logic for such questions. The second is to show the decidability of this logic over finite words. The third contribution is the use of non-standard analysis: we advacate that developing the proofs in the axiomatic system of “relative internal set theory” entails a significant simplification of the proofs.
منابع مشابه
ON THE FUZZY SET THEORY AND AGGREGATION FUNCTIONS: HISTORY AND SOME RECENT ADVANCES
Several fuzzy connectives, including those proposed by Lotfi Zadeh, can be seen as linear extensions of the Boolean connectives from the scale ${0,1}$ into the scale $[0,1]$. We discuss these extensions, in particular, we focus on the dualities arising from the Boolean dualities. These dualities allow to transfer the results from some particular class of extended Boolean functions, e.g., from c...
متن کاملSome inequalities in connection to relative orders of entire functions of several complex variables
Let f, g and h be all entire functions of several complex variables. In this paper we would like to establish some inequalities on the basis of relative order and relative lower order of f with respect to g when the relative orders and relative lower orders of both f and g with respect to h are given.
متن کاملBending Solution for Simply Supported Annular Plates Using the Indirect Trefftz Boundary Method
This paper presents the bending analysis of annular plates by the indirect Trefftz boundary approach. The formulation for thin and thick plates is based on the Kirchhoff plate theory and the Reissner plate theory. The governing equations are therefore a fourth-order boundary value problem and a sixth-order boundary value problem, respectively. The Trefftz method employs the complete set of solu...
متن کاملA research on classification performance of fuzzy classifiers based on fuzzy set theory
Due to the complexities of objects and the vagueness of the human mind, it has attracted considerable attention from researchers studying fuzzy classification algorithms. In this paper, we propose a concept of fuzzy relative entropy to measure the divergence between two fuzzy sets. Applying fuzzy relative entropy, we prove the conclusion that patterns with high fuzziness are close to the classi...
متن کاملFuzzy type theory with partial functions
This paper is a study of fuzzy type theory (FTT) with partial functions. Out of several possibilities we decided tointroduce a special value ”∗” that represents ”undefined”. In the interpretation of FTT, this value lays outside of thecorresponding domain. In the syntax it can be naturally represented by the description operator acting on the empty(fuzzy) set, because choosing an element from it...
متن کامل